3981. Transactions on engineering technologies :
Author: Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
Classification :
TA5
3982. Transactions on petri nets and other models of concurrency VII
Author: Kurt Jensen [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Petri nets -- Congresses.,Software.
Classification :
QA267
.
K878
2013
3983. Transactions on rough sets IX
Author: James F. Peters, Andrzej Skowron, Henryk Rybiński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Rough sets.,Set theory.
3984. Transforms and Fast Algorithms for Signal Analysis and Representations
Author: by Guoan Bi, Yonghong Zeng.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms.,Computer engineering.,Computer software.,Fourier analysis.,Mathematics.
3985. Transport Simulation in Microelectronics
Author: by Alfred Kersch, William J. Morokoff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Numerical analysis.
3986. Transport processes primer /
Author: Constantine Pozrikidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transport theory.,Transport theory.
Classification :
QC718
.
5
.
T7
P69
2019eb
3987. Trellises and Trellis-Based Decoding Algorithms for Linear Block Codes
Author: by Shu Lin, Tadao Kasami, Toru Fujiwara, Marc Fossorier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer Communication Networks.,Computer engineering.,Engineering.,Mathematics.
3988. Trends and Perspectives in Modern Computational Science.
Author: George Maroulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
3989. Trends and applications in constructive approximation.
Author: Marcel G de Bruin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Functions, Special.,Mathematics.
3990. Trends in Contemporary Mathematics
Author: / Vincenzo Ancona, Elisabetta Strickland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ENGINEERING (uncategorised)&COMPUTER SCIENCE
Classification :
E-BOOK
3991. Trust in cyberspace /
Author: Fred B. Schneider, editor ; Committee on Information Systems Trustworthiness, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures.,Internet-- Security measures.,Telecommunication policy-- United States.,Computer Security.,Internet.,Public Policy.,Telecommunications.,BUSINESS & ECONOMICS-- Industries-- Media & Communications.,Computer networks-- Security measures.,COMPUTERS.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Internet / Security.,Internet-- Security measures.,Internet.,Sicherheit,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication policy.,Telecommunications.,Telekommunikationspolitik,Verteiltes System,United States.,USA., 7, 7
Classification :
TK5105
.
59
.
T78
1999eb
3992. Truth from trash :
Author: Chris Thornton.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine learning.,Aanpassing.,APRENDIZADO COMPUTACIONAL.,Bewustzijn.,Computer Science.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Engineering & Applied Sciences.,INTELIGÊNCIA ARTIFICIAL.,Leerprocessen.,Leren.,Machine learning.,Maschinelles Lernen
Classification :
Q325
.
4
.
T47
2000eb
3993. Truth, objects, infinity : new perspectives on the philosophy of Paul Benacerraf
Author: Fabrice Pataut, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Benacerraf, Paul,، Mathematics -- Philosophy
Classification :
QA
29
.
B515T7
3994. Turing :
Author: B. Jack Copeland
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
Classification :
QA20
.
T87
C78
2012
3995. Turing's connectionism :
Author: Christof Teuscher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetischer Algorithmus.,Konnektionistisches Netz.,Turing-Maschine.
Classification :
QA76
.
87
C475
2002
3996. Turing's revolution :
Author: Giovanni Sommaruga, Thomas Strahm, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions.,Computer science-- Mathematics.
Classification :
QA76
.
9
.
M35
3997. <2000=Two thousand> solved problems in discrete mathematics
Author: by Seymour Lipschutz, Marc Lars Lipson
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Mathematics Problems, exercises, etc,Computer science -- Mathematics Problems, exercises, etc
Classification :
QA
،
43
،.
L666
،
1992
3998. Type logical grammar :
Author: by Glyn V. Morrill.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categorial grammar.,Semantics (Philosophy),Type theory.
Classification :
P161
.
B945
1994
3999. Type theory and formal proof :
Author: Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Type theory
Classification :
QA9
.
N37
2014
4000. Uncertainty Management in Information Systems :
Author: edited by Amihai Motro, Philippe Smets.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Text processing (Computer science)
Classification :
QA76
.
9
.
D3
E358
1997